Bugged Ftac Is Actually Broken